$\forall$$i$:$\mathbb{Z}$. $i$ = $i$+0